#ifndef __EKOS_KERNEL_SYSCALL_H__
#define __EKOS_KERNEL_SYSCALL_H__

void syscall_handler(struct trapframe_t tf);

#endif
